Automated Testing in Practice: The Highway Tolling System

نویسندگان

  • René G. de Vries
  • Axel Belinfante
  • Jan Feenstra
چکیده

In this paper we study the application of automated test derivation and execution based on formal specifications. The object of testing is the Payment Box (PB) of the Highway Tolling System, a device which handles electronic payments. Challenges of testing the PB are the transaction speed, parallelism and encryption. We describe a methodology for automated testing and apply this methodology to test the PB. We conclude that automation of the test process is feasible and beneficial, and evaluate our techniques, theory and tools for automated testing.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Definition of Requirements and Functions for SMART Tolling System

This paper demonstrates the requirement of smart tolling systems for smart highway. In smart highway operators and drivers would be able to see in real time the information of traffic. The smart highway is next generation road aimed at Congestion Free, Stop Free and Accident Free through traffic information services. This study defines requirements and functions for development of smart tolling...

متن کامل

An automatic test case generator for evaluating implementation of access control policies

One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...

متن کامل

Determination of Asphalt Binder VECD Parameters Using an Accelerated Testing Procedure

Fatigue characteristics of asphalt binder have an important role in asphalt mix resistance against cracking. Viscoelastic Continuum Damage (VECD) analysis of asphalt binders has been successfully used in highway research works in order to predict fatigue behavior of hot mix asphalt (HMA). In this method an intrinsic property of the material, called damage function is obtained which is independe...

متن کامل

Testing of Event-triggered Real-time Systems 1 Problem Statement

The current industry practice for testing real-time applications is often based on casespeci c ad-hoc techniques. At the same, time real-time systems are often employed in environments where their correctness is of great importance, which necessitates a rigorous approach to testing. In this context, the ability to test all anticipated behaviors is strongly desirable, but in general not feasible...

متن کامل

Auction-based highway reservation system an agent-based simulation study ¬リニ

Based on previous studies of a highway reservation system, this paper proposed an auction-based implementation, in which the users can bid for the right to use a route during a certain period of time. This paper models the auction system with MATSim using an agent-based simulation technique. The agents adopt their own bidding logic in the auction, and the price converges after around 130 iterat...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002